Questions about CTesK now can be addressed to CTesK support forum. Users of this product and everyone interested in the technology are invited.
|
|
|
UniTESK testing tools on FM 2003 |
On September 8 - 12 UniTESK testing tools will be presented on FM 2003: the 12th International FME
Symposium, Pisa, Italy. |
|
|
Sir Tony Hoare in UniTESK Lab |
Professor Sir Tony Hoare has visited UniTESK Lab. Team in order to get familiar with program verification projects. (see photos)
|
|
|
Yuri Gurevich (Microsoft Research) visit UniTESK Lab |
|
Yuri Gurevich (Microsoft Research) has meet with UniTESK Development Team. UniTESK Lab. testing tools have been presented to him and compared with testing tools based on Abstract State Machines (developed by Yuri Gurevich team). The problem of distributed systems specification and testing had the main place on the meeting. |
|
|
Conference "Microsoft technologies in scientific researches and higher education'' |
|
On the 16th of June A. Demakov will give a report "Application of UniTESK technology for test development for .NET components'' at "Microsoft technologies in scientific researches and higher education'' conference. |
|
|
|
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>
|
| Results 73 - 81 of 82 |
